CML[2]

Concurrent ML

J. Reppy, Cornell 1990

A concurrent extension of SML[1], supporting dynamic thread creation and synchronous message passing on typed channels. Threads are implemented using first-class continuations.

"CML: A Higher-Order Concurrent Language", John H. Reppy, SIGPLAN Notices 26(6):293-305 (June 1991).